...collaborate on

Search: ^e

Education/Archive Web Changed Changed by
EDFS 26 Jan 2007 - 18:04 - r11 LuisSoaresBarbosa
SumáriosAulas Especificação e Desenvolvimento Formal de Software 2006 2007 Equipa Docente Teóricas: Luis Soares Barbosa http://www.di.uminho.pt/ ...
EDFSSum 26 Jan 2007 - 18:00 - r13 LuisSoaresBarbosa
T (2006.10.21a) : Apresentação da Disciplina. Introdução aos métodos formais de especificação e desenvolvimento de software. O binómio especificação implementação ...
EducationNews 17 Feb 2004 - 13:55 - r7 JoseNunoOliveira
Feb. 17, 2004 May 14, 2004 is the deadline for submission to CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004 Feb 6, 2004 Students interested ...
ElementosLogicosProgramacaoIII 18 Oct 2005 - 19:49 - r22 AlcinoCunha
Notícias Elementos Lógicos da Programação 3 Licenciatura em Matemática e Ciências da Computação 3º Ano 2º Semestre Ano lectivo 2004 2005 Responsável ...
ElementosLogicosProgramacaoIII0304 12 Feb 2007 - 19:15 - r12 JoseBacelarAlmeida
Elementos Lógicos da Programação III Licenciatura de Matemática e Ciências da Computação 3º Ano 2º Semestre Ano lectivo 2003/2004 Ùltima alteração: 12 ...
ElementosLogicosProgramacaoIIINews 18 Oct 2005 - 19:50 - r7 AlcinoCunha
18 Out Já saíram as notas do exame da época especial. 27 Jul Já saíram as notas das orais. 22 Jul Já saíram as notas do exame de recurso. As orais serão no dia ...
ElementosLogicosProgramacaoIIIProjecto 05 Apr 2005 - 07:48 - r3 AlcinoCunha
Elementos Lógicos da Programação III Projecto Prático Pretende se que modele e analise os dois problemas seguintes usando redes de petri e a ferramenta de model ...
EstagiosProfisionais 12 Feb 2007 - 19:32 - r7 JoseBacelarAlmeida
The following is a list of Undergraduate Project Proposals in the context of the Research.PURe project Grammar Engineering Location: Vrije Universiteit or CWI ...
Found 8 topics.
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM